| abstract class $RO_ARR{ETP} < $CONTAINER{ETP} |
|---|
| **** | A read-only array which is the interface to other algorithm classes |
| $CONTAINER{_} | $ELT{_} | $ELT |
| $ARR{_} | $LIST{_} | LIST{_} | A_LIST{_} | ARRAY{_} | FLIST{_} | FSTR |
| aget(i: INT): ETP; |
|---|
| **** | pre has_ind(i) |
| has_ind(i: INT): BOOL; |
|---|
| **** | return 0<=i<size This method could actually be implemented at this level |
| ind!: INT; |
|---|
| **** | post 0<=result<size Returns all the indices, which are the integers between 0 and size - 1 |
